GI/S: A graphical user interface for symbolic computation systems
نویسندگان
چکیده
منابع مشابه
A Graphical User Interface for Relax3d
The Laplace/Poisson solver Relax3d has been used extensively in cyclotron central region design and other accelerator and beam physics applications. It is typically run in an interactive mode where the user types in commands and parameters to initiate and control the solution process and to view or output the results. This paper describes a graphical user interface (GUI) that eliminates most of...
متن کاملA Graphical User Interface for Setheo | Proposal |
The use of the theorem prover SETHEO is, like that of most theorem provers, a very complex subject and almost impossible for the novice or a casual user. In this paper we give a list of required features of a versatile graphical user-interface for SETHEO which allows to control SETHEO using graphical elements and to display the results in a graphical way. The exploration of requirements starts ...
متن کاملA graphical user interface for service adaptation
Service-oriented computing aims at composing independent services to achieve a common goal. Although very flexible, this independence may result in incompatibilities. A pragmatic approach to overcome such incompatibilities offer adapters. An adapter is again a service which reorganizes the message exchange in a service composition to avoid incompatibilities. Given a set of domain-specific messa...
متن کاملGraphical User Interface Testing
Software testing is one of the major challenges in the software community today. Graphical user interface (GUI) testing is inherently more difficult than traditional, command line interface testing. This paper briefly describes why this is so, and gives an overview of the state of the art in GUI testing. The main focus of the paper is a presentation of the features of a new GUI testing tool, ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1987
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(87)80013-5